Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
111	Client Klir Contact Writer Add to Reading List Source URL: www.thirdeyeproductions.org Language: English - Date: 2013-11-14 14:21:26 Business Economy Computing Formal sciences System KLIR HP OpenView Software as a service Analytics
112	Formal Verification for High-Assurance Behavioral Synthesis Sandip Ray1 , Kecheng Hao2 , Yan Chen3 , Fei Xie2 , and Jin Yang4 1 Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:42 Electronic engineering Electronic design automation Design Formal methods Electronics Electronic design Formal equivalence checking Formal verification High-level synthesis Integrated circuit design Register-transfer level Invariant
113	Microsoft PowerPoint - 04_Australia_Gemma Beijing 2 talk.pptx Add to Reading List Source URL: ggim.un.org Language: English - Date: 2014-06-19 09:04:18 Computing Information Data Data management Formal sciences Business intelligence Big data Analytics Data visualization Data science Statistics Microdata
114	PDF Document Add to Reading List Source URL: piccache.cnki.net Language: English - Date: 2016-07-12 05:29:20 Formal sciences Computing Data Data management Big data Technology forecasting Transaction processing Information technology Data mining Analytics
115	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-22 08:28:16 Information technology Computing Information Business intelligence Data management Formal sciences Information technology management Data mining Big data Data analysis Bioinformatics Analytics
116	An International Journal of the Polish Statistical Association Add to Reading List Source URL: pts.stat.gov.pl Language: English Statistics Estimation theory Statistical theory Econometrics Statistical inference Formal sciences Linear regression M-estimator Estimator Regression analysis Bias of an estimator Efficiency
117	arXiv:1503.05570v1 [stat.OT] 18 MarA Data Science Course for Undergraduates: Thinking with Data Ben Baumer, Smith College March 20, 2015 Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-03-19 20:23:43 Software Computing Application software Formal sciences Data Visualization Free statistical software Data mining Data analysis Data visualization Statistics education Statistics
118	GLA: A Generic Analytics Tool for e-Learning Daniel Schön, Steffen Sikora, Stephan Kopf, Wolfgang Effelsberg Department of Computer Science IV University of Mannheim Seminar Building A5, Mannheim Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-03 16:17:56 Education Educational technology Learning Formal sciences Learning analytics Analytics Educational data mining Virtual learning environment Learning management system Data mining
119	Is the p-curve always right-skewed in observational research? We are thankful to Simonsohn, Nelson and Simmons (SNS) for the opportunity to directly reply to their blog post that discusses our article about p-hacking and Add to Reading List Source URL: datacolada.org Language: English - Date: 2016-06-08 05:10:46 Statistics Design of experiments Knowledge Science Causal inference Experiments Philosophy of science Formal sciences Spurious relationship Econometrics Confounding Causality
120	Attensity, Teradata and Anderson Analytics talk on the future of text analytics The text analytic market is set to exceed £635mln as businesses look to capture customer sentiment to gain Add to Reading List Source URL: www.textanalyticsnews.com Language: English - Date: 2012-02-23 05:34:21 Economy Business Business intelligence Information technology Natural language processing Formal sciences Teradata Analytics Big data Attensity Text mining Business analytics

UPDATE